Knihy od autora Amir Pnueli

Zobrazeno 1 – 8 z 8 výsledků

1. 

   Hybrid Systems: Computation and Control

   Freek Wiedijk, Oded Maler, Amir Pnueli | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit
2. 

   Temporal Verification of Reactive Systems

   Zohar Manna, Amir Pnueli | Springer, Berlin, 1995

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2357 Kč

   Koupit
3. 

   The Temporal Logic of Reactive and Concurrent Systems

   Zohar Manna, Amir Pnueli | Springer, Berlin, 2012

   
   

   Skladem u dodavatele - Odesíláme za 8-11 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Temporal Logic in Specification

   Benham Banieqbal, Howard Barringer, Amir Pnueli | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
5. 

   Perspectives of Systems Informatics

   Amir Pnueli, Irina Virbitskaite, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
6. 

   Temporal Logic of Reactive and Concurrent Systems

   Zohar Manna, Amir Pnueli | Springer-Verlag New York Inc., 1991

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2592 Kč

   Koupit
7. 

   Temporal Verification of Reactive Systems

   Zohar Manna, Amir Pnueli | Springer-Verlag New York Inc., 2012

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2592 Kč

   Koupit
8. 

   Compositionality: The Significant Difference

   Hans Langmaack, Amir Pnueli, Willem-Paul De Roever | Springer, Berlin, 1998

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2357 Kč

   Koupit

Získali jsme ocenění Shop roku 2014 - finalista. Zjistěte více